don't intercept stderr when running shell commands
Remove benchmark comparisons
Code and (comment) contracts cleanup

- Probably worthwhile to port to typed/racket to get the benefit
  of checking at the module boundaries as well as internally