Tests that the `%contract` code (viz., each target language's implementation of SWIG_contract_assert) compiles in C as expected. Update the note in the source code since `%contract` is in the official documentation.