Can we port the Racket GTP Benchmarks to Static Python? https://docs.racket-lang.org/gtp-benchmarks/index.html It will be tough, but it'll be good for us and for the GTP suite.