Tests and implementation for all non-IO aspects of the VM