Provide a dummy assertion implementation.

To compile TESLA and non-TESLA versions of things side-by-side, we don't want undefined references to __tesla_inline_assertion().