remove checked ast from as_prover/checked_runner #756

Closed o1-david closed 1 year ago