Allow case-insensitive hex

See decided proposal in doc/proposals/2022-07-case-insensitive-hex.md.

TL;DR: remove "pkg/hex" which is strict and start using "encoding/hex" instead.