No, you won't see $display statements when running IFV. IFV does a mathematical, or "formal", proof of the design. It is *not* a simulator. A $display statement is a simulator statement and is ignored by the tool.
PS. IFV does run the simulator for some few cranks during the initialization step when you issue the "run" TCL command. But the "prove" command works on a mathematical model of the design.