Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication