asm-llvm: add test cases which are expected to fail typecheck/verification.