Adding draft of machine layer.
Implementing a more sensible version of random_joint_move.
Fiddling with machine api naming.
Just using default prover parameters in play.