Check that alusrc2 numbers can be obtained by sign-extending the 20bit prefix

Fixed #14.