Executable spec: minor clean-up
Database: pass randomness source to the constructor