The Treaty of Utrecht says that Gibraltar if it were to leave English-owned status would automatically be ceded Spain iirc. (Just found out) so that rules out the micronation idea.
Well yes but centuries old treaties can probably be changed. If it couldn't then Gibraltar would almost certainly refuse to leave the UK and the UK government could well get them a different deal with the EU than the rest of the UK. Trust me Gibraltan's fear of Spain's attempts to destroy their unique culture by submerging them back into Spain and their visceral dislike of the Spanish government is much stronger than their love of the EU.
A joint sovereignty does not necessarily implies that the identity or culture of Gibraltar is going to be submerged. The people of Gibraltar and their Andalusian neighbours have a peaceful cohabitation. I don't know why it should have to change. The inhabitants of the Rock would be still British citizens. Also, you seem to ignore the problems that the status of Gibraltar causes on tax evasion (the Rock is a tax haven), smuggling or the occasional disputes on the waters of the Bay of Algeciras. Joint sovereignty or a fair renegotiation of the Utrecht treaties (by which Menorca island was taken off from Spain, to be later recovered) could solve some of these problems, not stupid chauvinism.