44 update vulnerability and detector documentation for milestone 1 #29

Job	Run time
Check config (ubuntu-latest)	7s
Check config (macos-latest)	9s
Build (ubuntu-latest)	3m 57s
Build (macos-latest)	9m 13s
Test (ubuntu-latest, divide-before-multiply)	4m 45s
Test (ubuntu-latest, insufficiently-random-values)	2m 16s
Test (ubuntu-latest, overflow-check)	2m 16s
Test (ubuntu-latest, unprotected-update-current-contract-wasm)	2m 37s
Test (ubuntu-latest, unsafe-expect)	2m 28s
Test (ubuntu-latest, unsafe-unwrap)	2m 30s
Test (macos-latest, divide-before-multiply)	8m 31s
Test (macos-latest, insufficiently-random-values)	4m 36s
Test (macos-latest, overflow-check)	7m 34s
Test (macos-latest, unprotected-update-current-contract-wasm)	10m 12s
Test (macos-latest, unsafe-expect)	9m 36s
Test (macos-latest, unsafe-unwrap)	6m 58s
	1h 17m 45s

Provide feedback