Whenever we add a new slangc commandline option, we need to update the docs by running

slangc -help-style markdown -h 2> docs/command-line-slangc-reference.md

Before committing the change.