Make inclusion proof not depend on sequencer, fixes #61#63

lukevalenta merged 1 commit intomaincloudflare/azul:mainfrom

lvalenta/prove-inclusioncloudflare/azul:lvalenta/prove-inclusionCopy head branch name to clipboard