#1296 Adapt wafer scanner benchmark for fixed point order option change.

I forgot one think when adding the reachability requirements to the fixed point computation order option, namely to adapt the benchmark scripts.

Addresses #1296