Revert "Remove -O3 flags for now"

This reverts commit 92bf4d571308af8ddd5fa658f970dc4dd22f7036.