Basic vault prototype using OP_CAT

Protocol Design
13

yep, anywhere we check input.spk == output.spk, we should also be doing an input index assertion.