Add PR to changelog, respond to feedback

CHANGELOG.md

@@ -6,12 +6,16 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 
 ## [0.38.0]
 
+### Major Changes
+
+* Deprecate any_slice by @zhassan-aws in https://github.com/model-checking/kani/pull/2789
+
 ### What's Changed
 
 * Provide better error message for invalid stubs by @JustusAdam in https://github.com/model-checking/kani/pull/2787
-* Deprecate any_slice by @zhassan-aws in https://github.com/model-checking/kani/pull/2789
 * Simple Stubbing with Contracts by @JustusAdam in https://github.com/model-checking/kani/pull/2746
 * Avoid mismatch when generating structs that represent scalar data but also include ZSTs by @adpaco-aws in https://github.com/model-checking/kani/pull/2794
+* Prevent kani crash during setup for first time by @jaisnan in https://github.com/model-checking/kani/pull/2799
 * Bump CBMC version by @zhassan-aws in https://github.com/model-checking/kani/pull/2796
 
 **Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.37.0...kani-0.38.0