Merge branch 'incremental' into TACAS2023

demo/vehicle/controller/example_controller8.py

demo/vehicle/controller/inc-expr-fsw4.py

demo/vehicle/controller/inc-expr-fsw7.py

demo/vehicle/controller/inc-expr.py

demo/vehicle/inc-expr.py

inc-expr.py

verse/analysis/analysis_tree.py

verse/analysis/incremental.py

verse/analysis/simulator.py

verse/analysis/utils.py

verse/analysis/verifier.py

verse/map/example_map/simple_map2.py

verse/parser/parser.py

verse/plotter/plotter2D.py

verse/scenario/scenario.py