Misc tweaks
BacktrackingSolver: prevent 32bit/64bit mixing, closes #21

- Replaced Requirements.Effective* with SolverUtils.GetEffective()
- Refactored SolverRun