Add boundary proofs to `dfold` and `smap` #3259

Job	Run time
Build and Test	0s
Build and run limited tests (macOS-13, 9.0)	20m 24s
Build and run limited tests (macOS-13, 9.2)	24m 58s
Build and run limited tests (macOS-13, 9.4)	27m 7s
Build and run limited tests (macOS-13, 9.6)	22m 32s
Build and run limited tests (macOS-13, 9.8)	27m 15s
Build and run limited tests (windows-latest, 8.10)	21m 43s
Build and run limited tests (windows-latest, 9.2)	17m 34s
Build and run limited tests (windows-latest, 9.4)	18m 22s
Build and run limited tests (windows-latest, 9.8)	1h 47m 11s
All jobs finished	19s
	4h 47m 25s

Provide feedback