tools-415 eliminate noobjcheck flag, and make objcheck off by default