[LSQ] Sanity check in LSQ for mutually exclusive GAs

[Jiahui17]

Any dataflow circuit that we generate must guarantee that GA signals are strictly mutually exclusive. It would be useful to add an assertion in the LSQ module to assert that this is always true.