Fixed bad test case in test_add_round_key