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

Job	Run time
Build and Test	0s
Build and run limited tests (macOS-13, 9.0)	8m 37s
Build and run limited tests (macOS-13, 9.2)	12m 52s
Build and run limited tests (macOS-13, 9.4)	11m 0s
Build and run limited tests (macOS-13, 9.6)	12m 11s
Build and run limited tests (macOS-13, 9.8)	16m 36s
Build and run limited tests (windows-latest, 8.10)	11m 10s
Build and run limited tests (windows-latest, 9.2)	9m 17s
Build and run limited tests (windows-latest, 9.4)	8m 56s
Build and run limited tests (windows-latest, 9.8)	11m 58s
All jobs finished	4s
	1h 42m 41s

Provide feedback