The Racket Virtual Machine and Randomized Testing