Random Testing For Language Design