unify exception types
harden the translog corruption test