Adding regressions tests for output based on output configuration

**Proposed change:**
Adding regressions tests to determine if the output is correct for Kani based on the configuration from issue/PR:
#3360 
#3356 
**Motivation:**
Ensure correctness.