CCSeal no passthrough

There seems to be an issue with the conditional sealing of CCSeal. 

Expected behavior: If the first input register is sealed, it is passed through to the output register without sealing with the second input register.
Actual behavior: The capability is being sealed anyway.

PoC:
```
  cspecialr c1, ddc
  csealentry c2, c0
  ccseal c3, c2, c1
  cgettype x4, c3 # Writes 0 to x4 instead of -2
```