Added more userprog tests, mostly relating to boundary conditions