Removed Vcptr ... and broke one of Zoe's proofs in the process, sorry
Added Makefile targets for compiling and running the tests