Add test for "Term freemap mismatch with verify context".
Add test for "Term freemap mismatch with verify context".

jkingdon/ghilbert,kryptine/ghilbert,kryptine/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,jkingdon/ghilbert