MovementDownward should assume path invariants better

It assumes that the current standing on block will be what needs to be mined. However, if that block isn't canWalkOn, it will necessarily have been replaced by getting there. Somehow it needs to be able to know the cost of mining a throwaway block that hasn't been placed yet...?

This could result in weird behavior when it's the very first movement of a path though....