> There was already a static assert above that checked this

Yes. But we can add other bits version to this engine (e.g. 256 bits),
so each check is robust than old implementation.