Add tests for Random and some extra for Sanitizer