Add enable_verification fuzzing

Blacklist functions that do not guarantee verification passes (e.g. functions with side effects, LIMIT/OFFSET, set to single-threaded, always add ORDER BY rows) - then fuzz with enable_verification to catch issues caused by optimizers

