Add Imperas lockstep verbose as wsim option

Created by: jordancarlin

Adds a --lockstepverbose flag to wsim that runs lockstep in verbose mode. --lockstepverbose automatically implies --lockstep. It's a bit hacky and uses a second imperas-verbose.ic file that is added to the main imperas.ic file when --lockstepverbose is passed, but was the cleanest solution I could find.

Fixes #871 (closed)