A couple of PRs have this issue (#33, #35), but if a user wants to run gym indefinitely, they would need to create a TimeBasedTermination with a really big number. While that works, it's pretty jank and we should just make a NoTermination which just goes on forever instead.