Fixing lock behaviour in non-qoq case.

Now it does what hte original SCOOP says: put
the unlock operation in the queue.
Fixing sync operation if its disabled.

It wouldn't resume the supplier otherwise.
Setup qs run script and Makefile to do all variant build/run.
Adding new straight line test for sync lifting.
Fixing sync pass.

Considered unprocessed incoming edges as empty, just ignores them now.
Helping optimizer with benchmarks.

Basically just issue a query before the start of a big loop.
Missed helping outer in previous commit.
Updating run_all to use new qs modes.