Add support for testing native arrays
Add framework for buildable tests

Use `mkBuildTest` to create a testcase that will compile a function to C
code and further compile the C code on the host to check that the generated
code is sound.