retain srcloc in instrumentation for better debugging
split out instrument-analysis.rkt
simplify analysis inferface
split out binding analysis into separate pass

Also, improve fixed-point support.
add conditionable-context analysis
switch to logger for compile-time info