Add some basic simple-check tests