Merge ahead of pipe-correctness

[charmoniumQ]

• Change initialization to initialize on first op. See ./docs/initialization.md for details.
• Add debug_print_start_of_interposition
• create_path_lazy now has two modes: when you know the path and when you don't.
• probe_libc has improved nullable annotations
• Add test for probe_libc_statx with null path
• CLI has simpler and more standardized options
• graph_utils.py has better types and more deterministic algorithms
• Correct several bugs in hb_graph.py
• parser.py appends "analysis-time" ops
• Make classes in ptypes.py orderable