DSLX: Support static asserts

[RobSpringer]

It'd be convenient to be able to check, well, all sorts of things statically in DSLX programs. One example I can think of is for a parameterized AES implementation to only support parametrized key sizes of 128, 196, or 256 bits, enforced by such a static assert. There are plenty of other potential uses, though.