Towards verifiable benchmarks for reinforcement learning