Move to C++17

Move from cpp11 to cpp17. Motivated in part by [[fallthrough]] attribute support for case statements in C++17, also introduces other language features like constexpr conditionals and std::optional which allow us to write more succinct and easier-to-maintain code.