GoControl devices are only made on the US zwave frequency. They will not work with a UK hub.
The Aeotec device looks promising, and is available for the UK. Vesternet typically has excellent customer service, you might write to them and ask if they know if anyone has it working with smartthings yet.
http://www.vesternet.com/z-wave-aeon-labs-garage-door-controller-gen5
Looking at the conformance statement, it looks pretty straightforward except that it is using two Association groups and can use secure encapsulation. So it may require a custom device type handler.
http://products.z-wavealliance.org/products/1497
@tyler should know if the Aeon garage door controller is in the queue for official compatibility testing for the UK.
I don’t see any other zwave garage door controllers available in the UK at this time.
There are some cloud-based garage door controllers that some UK members have used. There is a custom device type handler for the garadget, for example,
But I would think the Aeon would be the simplest choice.