Compilation of `Rep(value, Some(min), Some(max))` into CodecVM

[sergei-shabanau]

where 0 <= min < max.

This case is left unimplemented and has to be completed. I think there is no need to handle edge cases in def compile since 0 <= min < max can be enforced by XCodecModule combinators.