This update adds unsafe type punning to the Silq language and adds support for the execution of the test cases to the port.