DEVLOG: add Simon's notes on nested scheduling
Change how make validate chooses the cabal-dev executable.