Add SInE example to seeds.

Adjust seeds to use manual axiom selection.

Seed proofs In the seeds, proving has to be done synchronously. Before, the Proof class only supported asynchronous proving.