Acorn adder proofs (#289)
Acorn adder proofs (#289)

* proof of list-based adder

* proof of vector-based adder

* first draft of vector adder proof based on list adder proof

* automation for vector adder proof
project-oak/silveroak,project-oak/silveroak,project-oak/silveroak