Add initial tests for the VM module

* It makes sense to add them in base/ as they are fully part of Mozart 2.