feat(lib): better batch_size default, new arguments#310

jeertmans merged 1 commit intomainjeertmans/DiffeRT:mainfrom

batch_sizejeertmans/DiffeRT:batch_sizeCopy head branch name to clipboard