added 'sortoutput' option to make output deterministic for threading tests
'parallel' proves array bounds
correct code generation for tforstmt