It seems that you have the options you suggested. I like the look of a binding pieced from the leftover fabrics in the quilt. Or do you have enough to do a cross-grain binding rather than bias cut?? (And I think "properly" is a matter of personal preference...
)