bump up limit on monomorphization