tools.mk makefile and dialyzer fixes

*DO NOT MERGE*

Just starting a conversation with this for now. Using the new dialyzer options from `tools.mk` has eliminated most of the dialyzer warnings, as the dependencies are now just included in the PLT, instead of being passed to the dialyzer command itself. There were a couple of long-standing 'appeasing dialyzer' pieces of code that I've removed now. I'm of the mind that 'if the test passes', they should be ok. But it's worth going through them with a fine-tooth comb.