How will we handle parameter override values specified in defparam versus instantiation precedence? If the module is pre-compiled, the compiler would not know about the last override value. (Apparently there was a discussion on Verilog-D not to support defparam.)
[Comment]
Doesn't matter if it's defparam or instantiation if your using a precompiled value - it'll probably be wrong either way.