Update proofs in weightsextract.v to account for oracle. I'm not sure if this is a good way to handle the initial oracle state and bogus channel. Maybe they should just be included in the oracle class.
Update proofs in weightsextract.v to account for oracle.
I'm not sure if this is a good way to handle the initial oracle state
and bogus channel. Maybe they should just be included in the oracle
class.

gstew5/cage,gstew5/cage