WIP: Resolve "Rework Problem::check into a recursive approach"

Reworked Problem::check() so that each node is responsible for checking
their own consistency