New checker for racket: code-ayatollah.

See: http://tmp.barzilay.org/code-ayatollah.rkt