Add a few test cases to ensure the bitcode reader is backward compatible with