Fixed some trivial `assert false`. Added test for {extract,insert}value
instructions: bindings do not implement these instruction with a list of
indices of length not equal to one.