stembuild: vmconstruct tests assert on behavior

Originally these tests relied on spying on "Messenger" structs, this
commit changes the specs to also assert on the invocation (or not) of
collaborator code instead of relying mostly on log output to test
behavior.

Author: aramprice