Fix bugs in call, return and goto. Branches now take two cycles
Update testbenches
Update readme