Basic tests for Random interface