Partially revert 194107ea9333c1d9d61abf307db2da6a699847af

This reverts the numbers for T9203.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Traivs: See if we can afford to run the performance benchmarks

we have ~15 minutes until the limit, so lets try this.