Use a static seed for RNGs in benches; Fix #8