* drafting a proof extraction at the hashdb level (to include everything
for the 'call' proof case).
* use full proof by default (replace previous proof recorder).
* fix warnings.
* Cache value not found in proof recorder.
* Remove need or internal backend struct.
* fix type.
* doc