Incorrect MAP instruction behavior for the empty collection case

[m-kus]

1. Current MAP semantics is incorrect for cases when input collection is empty (see https://tezos-dev.slack.com/archives/C04QSSRG0LQ/p1685111257419089)
2. We would ideally need a way to reject ill-typed scripts at the validation phase