Generate 'main' module in NuSMV backend
handle signed operators
handle single bit extractions
use four spaces instead of tabs
handle unconnected wires
add GCD test
make sure types are properly converted