Solver variable bin lineup between inputs and marginals

[nikisix]

Ensure that the possible bins from the variables coming from inputs.py used in the solver align with their marginal equivalents. This includes non-override checks coming out of config.