int random should use RNG
Fix issue for empty construction of bitvectors
Merge pull request #351 from bastih/master

Fixes for recent cleanups