Allow disabling unwinding assertions for specific harnesses

[zhassan-aws]

Some proof harnesses may intentionally verify some piece of code up to a certain bound, in which case, one would want to disable the unwinding assertions. There is currently no way to do that for specific harnesses.