added faster empty function for Vec3fa, added reduction operators in Vec3ba