Extra funding has been included for the Registered Organisations Commission, but not the Fair Work Ombudsman