44 update vulnerability and detector documentation for milestone 1 #30

Job	Run time
Check config (ubuntu-latest)	7s
Check config (macos-latest)	16s
Build (ubuntu-latest)	4m 7s
Build (macos-latest)	8m 18s
Test (ubuntu-latest, divide-before-multiply)	4m 50s
Test (ubuntu-latest, insufficiently-random-values)	2m 22s
Test (ubuntu-latest, overflow-check)	2m 15s
Test (ubuntu-latest, unprotected-update-current-contract-wasm)	2m 15s
Test (ubuntu-latest, unsafe-expect)	2m 19s
Test (ubuntu-latest, unsafe-unwrap)	2m 39s
Test (macos-latest, divide-before-multiply)	12m 4s
Test (macos-latest, insufficiently-random-values)	3m 28s
Test (macos-latest, overflow-check)	3m 39s
Test (macos-latest, unprotected-update-current-contract-wasm)	9m 52s
Test (macos-latest, unsafe-expect)	6m 12s
Test (macos-latest, unsafe-unwrap)	8m 13s
	1h 12m 56s

Provide feedback