результат каждой не-void функции должен быть проверен

[[nodiscard]] же? Можно под макросом, чтоб проверять только в одной специальной сборке, а обычным клиентам не мешать жить.