[judwhdzn] Make dependencies verification

You write a Makefile, listing dependencies for each target. But how do you know your list of dependencies is sufficient, especially under the nondeterminism of parallel make?

Create a tool that will explore different orderings, searching for missing dependencies and race conditions.