Axllib tests

I included the reverted tinfer changes and added most of the axllib tests. The ones in the BROKEN variable don't compile, the ones in XFAIL_TESTS do compile, but fail at runtime.

These tests will make it less likely that things break in the future.