Added IBAN formatting method and some IBAN tests