Disabling intermediate symbex optimization options for now.