Repair verification error reporting

This cleans up update_condensed_str() and fixes the offsets and sizes reported in verification error messages.