Merge branch 'hack-scalability-sched-and-ordering-check' into...

Merge branch 'hack-scalability-sched-and-ordering-check' into '177-stack-exhaustion-in-check_variable_access_ordered'

Hack scalability sched and ordering check

See merge request !407