runFlow and runHigh added to Auxiliary, declassify to unsafe
figures added to the final report, implementation section