Implement static_assert attribute

This verifies that a static item evaluates to true, at compile time.