STM: fix -async-proofs lazy
-schedule-vi-checking generates better script