Changes for preserving comments, adding asserts, and adding mains

Initial modifications for removing package and adding inline asserts

Fixing recursive depth issue with files.walk

Update builNTest.yaml

Fixing recursive depth issue with files.walk

Trimming files and attempting test with debug output

Update builNTest.yaml

Update builNTest.yaml

Update builNTest.yaml

Update builNTest.yaml

Update builNTest.yaml

making path name more ubiquitious

correcting source sets

Correcting for new sourcesets

Correcting exclusion language for gradle 9.0

Adding additional exclusion to tests task

Updating sourcesets again

Re-correcting build.gradle.kts

Correcting build script so pipeline works

Moving integration tests resource and refactoring test suite

Keeping comments preserved and adding QoL test

Add a test of the JavaProjectFilter

Add a test of the JavaProjectFilter

Updating comments test

Additional Unit Tests

Implementing new tests

Renaming regression tests to integration

Adding additional property to .yml files

Modifying Transformer Main to be more inline with SV-COMP format

Make some additional formatting changes & fix some typos