* Now diagnosing missing vmctx arguments (fixes #376). * Added filetest for fix of #376. * Respect formatting rules in verifier/mod.rs. * Added parameters for each use of vmctx in test files. * Added comments on additions on vmctx verifications.
