Added a command-line switch so you can ask wyil file write to show raw slots.
Added a command-line switch so you can ask wyil file write to show raw slots.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler