Strict monoidal structure is incoherent

[anshwad10]

https://github.com/agda/cubical/blob/e8ff0c1e18fd200d0c6a2d70f07811134df7d3cf/Cubical/Categories/Monoidal/Base.agda#L33C26-L43C32
At the definition of strict monoidal categories, there is no h-level requirement or coherence conditions on the associativity and identity paths. This leads to surprising results; For example, you would expect that any strict monoidal category automatically gives rise to a weak monoidal category, but that's not the case with the current definition.

[anshwad10]

looks like this is a duplicate of #753