Build

Ensure that addition and subtraction of addresses panics on overflow/underflow #3430

Job	Run time
Clippy	16s
Bootloader Integration Test (ubuntu-latest)	22s
Bootloader Integration Test (macos-latest)	1m 15s
kani	40s
Check Formatting	12s
Semver Checks	19s
Test MSRV and Stable Features (nightly)	17s
Bootloader Integration Test (windows-latest)	45s
Test (ubuntu-latest)	26s
Test MSRV and Stable Features (1.59)	2m 15s
Test (macos-latest)	30s
Test (windows-latest)	46s
	8m 3s

Provide feedback