updated fuzzer, faster and cleaner overflow tests