Investigate the exhaustiveness of the documentation about `options` in our vignettes

[vedhav]

Part of #1013 check
The vignettes/teal-options.Rmd lists the different options one can use to modify the behavior of teal. Check if all of them are still valid or does it miss some options for example options(teal.reporter.global_knitr)