Made some refactorings; removed benchmark-case for native Racket evaluation

Native Racket evaluation is no longer checked because we're evaluating Slip programs anyway