fix compiler--validator mismatch on bitwise specializations
Make tc-l test cases give better error messages.
Make check-below not return no-filter and no-obj.
Make version of tc-err that checks return types.