test the implementations of a VM

Skeleton for testing each method