Bitcode: Fix a typo in an assert