Optimize for circuits that aren't used

[arthurpaulino]

Circuits that aren't used have no trace. We can filter them out when creating a proof.
But we also need to include some layout information in the proof object.