bpf, verifier: fix alu ops against map_value{, _adj} register types