Don't need black tie outside of May Balls tbh unless you join some socs who want that (but you could just hire if really need for a one off).
What you describe sounds fine for formal tbh - they aren't as strict as you think and you'll be wearing a gown on top of it anyway. A basic suit and tie would also be absolutely sufficient for formal.