Benchmarks for the Racket contract system.