Your checklist for this pull request

• I've documented or updated the documentation of every function and struct this PR changes.
• I've added tests that prove my fix is effective or that my feature works (if possible)

Detailed description

This PR has the following tasks completed:

1. Upgrade LAVA so it can pass a folder of inputs to run inside PANDA. This would ensure that if new inputs are generated, no structural changes are needed to LAVA. This should only be merged once this PANDA PR is merged. (CURRENTLY IT IS COMMENTED, BUT THIS HAS BEEN TESTED AND WORKS).

2. For btrace now uses cJSON to create the JSON for compiling commands.

3. bug_mining.py, we cleaned this to be written into functions with docstrings.

4. inject.py has had some work on cleaning up dead inputs, consolidation, etc.

I did make the choice to delete checking input DUA files. I'll see if I regret it, but for now it still works. Furthermore, we can always restore this logic.

I should note, now that file_taint can log when a specific file is tainted, we probably should bring this logic back. For now, next priority is fully replace bash with full Python.

Things to note:
For some reason, there are more bugs detected on this iteration than past ones. I have no idea why, but the test still passes, so... I'll ignore this for now.
...

Test plan

Confirm that CI/CD passes for toy. Also, verify that file_taint via logs is correctly tainting multiple files.
...

Closing issues

...