segmented cff small update

updated thesis text

touch up

updating README

touch ups

touch ups

touch ups

proofs and axioms completed

correctness proofs finished.

structured pools implementation proof of correctness is done, some minor details still to touch up.

fixed unused inductive matching patterns

transfer and init proved correct

documentation

documentation

outlined proof for initialization and other entrypoint