- Compile a function, and call it on random values (so DebugMode can verify
   things)
 - Work on floatX, so gradients can be verified
 - Verify gradients
 - Check that some incorrect inputs lead to errors