Implement is_zero using SIMD and add benchmarks and tests

The SIMD version is approximately comparable in speed to the naive version, but should reduce code size.