fix some embarrassing bugs in checked macros
fix checked benchmarks