This addresses GHSL-2020-075 as well as all other problematic code
uncovered as a result of investigating that.  This includes:

- buffer overflows due to use of unchecked lengths
- integer overflows due to type conversions
- potential memory leaks
- checking for memory allocation failures

Re #279.