check for feasibility of user-provided heuristic solutions. closes #12