57 pragma declarations and version control #77

Job	Run time
Check config (ubuntu-latest)	7s
Check config (macos-latest)	11s
Build (ubuntu-latest)	3m 45s
Build (macos-latest)	9m 23s
Test (ubuntu-latest, avoid-core-mem-forget)	2m 41s
Test (ubuntu-latest, avoid-panic-error)	2m 30s
Test (ubuntu-latest, divide-before-multiply)	2m 56s
Test (ubuntu-latest, dos-unbounded-operation)	2m 57s
Test (ubuntu-latest, insufficiently-random-values)	2m 25s
Test (ubuntu-latest, overflow-check)	2m 35s
Test (ubuntu-latest, set-contract-storage)	2m 56s
Test (ubuntu-latest, soroban-version)	2m 40s
Test (ubuntu-latest, unprotected-update-current-contract-wasm)	2m 30s
Test (ubuntu-latest, unsafe-expect)	2m 14s
Test (ubuntu-latest, unsafe-unwrap)	2m 15s
Test (macos-latest, avoid-core-mem-forget)	1s
Test (macos-latest, avoid-panic-error)	1s
Test (macos-latest, divide-before-multiply)	1s
Test (macos-latest, dos-unbounded-operation)	1s
Test (macos-latest, insufficiently-random-values)	1s
Test (macos-latest, overflow-check)	1s
Test (macos-latest, set-contract-storage)	1s
Test (macos-latest, soroban-version)	1s
Test (macos-latest, unprotected-update-current-contract-wasm)	1s
Test (macos-latest, unsafe-expect)	1s
Test (macos-latest, unsafe-unwrap)	1s
	42m 16s

Provide feedback