[userprog] make uaddr_valid check all four bits