The filp-flop transition time is dominate by the standard cell library.
You don't worry about it and the cell transition time base on the manufacture process.
The STA will be check the timing of the design dose meet or violate the timing constraint.
The signal across the different clock domain that is the designer guaranty the signal must be correctly sample by the target clock. The STA can't check the signal across the different clock domain.