Remove `kast` and `kore` attributes #4050

Job	Run time
Nix flake (self-hosted, linux, normal)	33s
Nix flake (macos-13, macos-13)	21s
Version Sync	7s
Nix flake (MacM1, self-macos-12)	32s
Check code formatting	24s
K Tests	1s
K Ubuntu Jammy Package	1s
Performance Tests	1s
	2m 0s

Provide feedback