Verifying LabVIEW Graphical Programs with ACL2