Remove deprecated `with_safety_aut` option from specCompiler
remove unused imports in specEditor
move AsynchronousProcessThread to a new asyncProcesses module and remove wx dependency
add synthesizeAsync to SpecCompiler
make callbacks optional for async synthesis
make SpecEditor use async synthesis; now shows elapsed time and is user-abortable