How much money did Tezos raise? I thought they had crossed all of their t's when they were setting up the IPO. After all, aren't two of the main people behind it from wall street, they should understand the laws and SEC governances.