Change timeout and depth to be effectively unbounded by default
Change timeout and depth to be effectively unbounded by default

backesj/jkind,backesj/jkind,agacek/jkind,andrewkatis/jkind-1,lgwagner/jkind,agacek/jkind,lgwagner/jkind,andrewkatis/jkind-1