Updated coverage status checks
Added tests & improved existing tests
Refactored graphs and split up into multiple subtypes
- Created a GenericGraph parent class as well as a Graph interface, which are inherited and implemented by EdgeListGraph, AdjListGraph, and AdjMatGraph.
Cleaned up klee experiment scripts, creating KleeExperimentHandler for easier experiment modification and creation in the future.