fix bug in equiv, make it so that we can run builtins.arr check blocks in compile-tests