SemiSweet, As far as the puckering is concerned, I would do #3 mostly because I think it will be hard to get rid of the puckering you have shown in the photo. It looks and sounds like more than could be fixed with more pressing since your one corner isn't squared off. In the end I personally think it would be easier to square it off (assuming it does not mess up the design of the quilt) than to try to get all the puckering out by quilting it down. But that's just my opinion and you need to do what's best and easiest for you. Good luck.
PS: Cute cat by the way. Is it's name SemiSweet or is that just the kind of chocolate you like?