Verifiable RL environments for professional software

Evaluate models in RL environments and understand where they succeed or fail.