Artifact for CAV 2023

This is the first release of Agni, and serves as a checkpoint for the CAV 2023 artifact. This release replicates all the results from the paper.