Boolean visualization #9

Expressions like select and assert operate on booleans. We can come up with a special visualization mode where false is shown as red, and true is shown as green (or black and white), like RenderDoc does.