More updates to build instructions.

No more kernel.instrumented!
Drop implementation of __tesla_inline_assertion.

Now that we don't have to build the normal and TESLA versions of the kernel with the same preprocessor directives, etc., we can turn __tesla_inline_assertion back into an unimplemented external function. Try and optimise *that* away, Clang!