Fix warnings at the tail of *ASSERT*RECOVER lines
The macro should look like a normal c++ line, that is, ending with a semicolon.