New flag in OCRA invocation

The OCRA tool has a new flag -ocra-disable-async-constraints. This should be taken into account when invoking the tool.