Update tests to improve the line coverage

For src/siphash-prf.adb
Before: 95.88%
After:  100%