Completed the first pass of the updated runner
Fixed the proof automation tool to sym link to proofs from the aptus project