Add a macro that disables compile-time dep checking for benchmarking purposes.
Add a test that checks that all test sources are listed. Prepare for test directory split.
Minor changes.
Factor out the proof tree/forest implementation from metaprogramming/component.h into a separate proof_trees.h.
Optimize AddProvide (now called AddProvidedType) and AddRequirements, saving ~10% of compile time due to dependency resolution.
.
Slight optimization to ConstructProofForest.