Updated vignettes and tests to use devOptions("*") instead of old-style R
options.