print configuration to log
add more tests for LazySpecializedFunctions
implement some more analyses and transformation tests
better tests for transformations
tests for types and precedence
add choose() fixture to test_jit, add TestVerifyOnlyCtreeNodes class