Working on getting options to generate verification conditions and WyIL files to work.
Can now prevent the creation of WyAL and WyIL files.
Some little tweaking; next major job is to get libraries working.
Working on new project wizard.