Reduce runtime of baxus tutorial in smoke test

The tutorial would otherwise time out in CI runs. The main change here is to change the evaluation_budget to a smaller number if `SMOKE_TEST=True`.
Other than that this also makes some typing and formatting changes.