Introduce `MainGateInstruction::constrain_constant`

In some situation we'd like enforce some advice cells to be equal to certain constant by copy constraint, it'd be nice to have an API to maintain these assigned constant and reuse them when possible.