Add optimizer-related Shark conf variables

Various minor fixes.