Figure out the proper divisor constants to use in each heuristic

Many of the A* heuristics we use do not meet the requirements to guarantee an optimal path unless their result is divided by some number, while we may have found some numbers that seem to work so far it would be best if we could prove that these numbers are correct.