flint, mpir: fixed formula formatting

Removed newlines and moved fails_with blocks.