implementing the nock virtual machine in python