trans: add range asserts to loads of `char`