Are over-constrained circuits a challenge in zero-knowledge circuits?

Which poses a bigger threat: under-constrained or over-constrained circuits? @IsilDillig breaks it down.