add -Wcheck to ax0 compilation

There are several assertion failures, so we make them non-fatal here.
use malloc/free instead of btree alloc outside rts

so we can make sense of valgrind output