Fixed a number of verifier bugs. Added order-of-ops tests. Fixed some related grammar issues.