code formatting
added wasmuth interpreter specs