Make verified DCPs available on the return from dcp::verify().