SET-WATERFALL-PARALLELISM-HACKS-ENABLED!

for ACL2(p): enabling waterfall parallelism hacks
Major Section:  SWITCHES-PARAMETERS-AND-MODES

See set-waterfall-parallelism-hacks-enabled.