I had a great time in this exchange. Thank you so much for all of your hard work! :)

I think both proposed rules make a lot of sense.

If you do go with the default penalty, it might also be worth considering a no-penalty default deadline a week or so before the regular deadline, to encourage people to default earlier rather than hanging on until just before the deadline.