Implement fsign and prove out predication
This will give us a chance to prove out predication. It's still a pretty big question mark whether we want to use multiple writes via @jekstrand's "write lock read" concept or if we want to try something like psi-SSA.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information