bumping the kvm version to beta1, removing NextFloat for now, overloading NextLong, starting to create tests for ProxyRandom