Show impl for Weak

Show impl for Weak and tweaked the Show impl for Rc for consistency
Thanks for writing it out.  I don't quite understand why it wouldn't work without the `upgrade()` if the current impl does the strong check, but I can take your word for it.  I'm admittedly not an expert