Adding hons and hons-acons tests for the spec-mv-let system.

Adding hons and hons-acons tests for the spec-mv-let system.

Also, cleaning up hons and hons-acons tests that used pand, since functions that use pand probably need their guards verified to actually use the parallelism system.

Fixes #279