Add da node attestation check to the outer account

[L-as]

What does this mean?

[MartinOndejka]

Outer step circuit needs to check the signatures of da nodes. Either one by one or aggregated Schnorr. It's a followup after #184