Validate inner STARK shape/params

[Nashtare]

Perform basic checks, i.e. check widths, degrees, blowup, etc... before verification.

[Nashtare]

@LindaGuiga I see you assigned yourself some time ago, and noticed this branch you're working on. Any remaining work to be done there?

[LindaGuiga]

I was waiting for Mmcs and FRI to be completed to make sure we're not missing anything. It should be ready on Monday though